.x-json-panel {
  position: relative;
}
.x-json-panel .x-json-button {
  position: absolute;
  top: 0;
  right: 0;
  z-index: 10;
}
pre.pretty-json {
  padding: 0;
  margin: 5px;
  color: #666;
  font-size: 12px;
  min-height: 30px;
}
pre.pretty-json span.string {
  color: green;
}
pre.pretty-json span.number {
  color: darkorange;
}
pre.pretty-json span.boolean {
  color: blue;
}
pre.pretty-json span.null {
  color: magenta;
}
pre.pretty-json span.key {
  color: red;
}
pre.pretty-json span.sep {
  color: black;
}
